concurrent system造句
例句与造句
- Safety and fairness in java multithreading concurrent system
多线程并发系统中的安全性与公平性 - Specification - based testing of non - deterministic concurrent systems
非确定并发系统的基于说明的测试推导 - Client / server model - standard model used in building concurrent systems
模式? ?构建并发系统的标准模式。 - The traditional method is suitable for a simple , single user non - concurrent system
传统方法适合于简单的、单用户（非并发）系统。 - Process algebras are widely used in describing and analyzing concurrent systems
进程代数在对并发系统的分析和验证等方面获得了广泛应用。 - It's difficult to find concurrent system in a sentence. 用concurrent system造句挺难的
- Model - checking is a technology for the verification of the properties of the concurrent systems
摘要模型检测是一种用于并发系统性质验证的算法技术。 - Analyzing and verifying value - passing concurrent systems is a new research area in model - checking
对于并发传值系统的自动分析与验证是模型检测研究的一个新的方向。 - Among them , the - calculus is the one capable of modelling concurrent systems with evolving communicating structures
-演算是进程代数的典型代表，它可以描述那些通信拓扑结构会动态变化的系统。 - Effective modeling of complex concurrent systems requires a formalism that can capture essential properties such as nondeterminism , synchronization and parallelism
对复杂的并发系统进行有效建模要求有一套形式化体系，由它能获取系统的本质特性，如不确定性、同步性和并发性。 - However , concurrent systems with time restriction namely real - time systems are used widely in reallife , and the model - checking techniques are more and more applied to the verification of the properties of the real - time systems
实际生活中广泛应用的是带有时间约束的并发系统即实时系统，现在模型检测技术越来越被广泛地应用到这类系统的性质验证当中。 - They have proved to be useful for specifying concurrent systems , since they can describe the ordering of events in time without introducing time explicitly . in ctl * formulas are composed of path quantifiers and temporal operators
和基于模拟、测试和演绎推理问题的传统方法相比较,有着许多的优点,也已经成功地实践于检验复杂的时序电路设计和通讯协议。 - With the rapid increase in the concurrent systems " scales , a challenging issue facing model - checking researchers is how to handle the huge state spaces . thus it becomes increasingly important to develop suitable computation models and to design efficient verification algorithms
随着并发系统规模的日益增大，对这类系统的模型检测面临着如何处理大规模状态空间问题的挑战，因此需要为实际的大规模并发系统精心选择计算模型，同时设计时空效率较高的算法。 - A widely used method for checking real - time systems is , according to the real - time property to be checked , to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space . the algorithm needs only to explore the finite space to get a correct answer . in most cases , exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases . in this paper , an equivalence relation is introduced to check whether a concurrent system , which is composed of a finite set of real - time automata , satisfies a linear duration property . to avoid exhaustive exploration , this paper also introduces a compatibility relation between timed states ( configurations ) . based on these two relations , an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property . the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature
一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长,以至于在很多情况下,穷尽搜索这个空间是不现实的.该文引入了一个等价关系来验证一个由多个实时自动机通过共享变量组成的并发系统是否满足一个线性时段特性.同时，还引入了格局之间的兼容关系来避免对状态等价类空间的穷尽搜索.基于这两个关系,文章提出了一个算法来验证是否一个实时自动机网满足一个线性时段特性.实例研究显示,此算法在某些情况下比其他一些工具有更好的时间和空间效率 - 6 clarke e m , emerson e a , sistla a p . automatic verification of finite - state concurrent systems using temporal logic specifications . acm transactions on programming languages and systems , 1986 , 8 : 244 - 263 . 7 aho a v , hopcroft j e , ullman j d . the design and analysis of computer algorithms
Model checking过去主要是作为一种验证技术被广为使用的，本文作者通过对dmc以及后续工程项目的研究发现， model checking完全可以作为一种计算技术被广泛使用，就相当于已经成为经典编译技术yacc在软件开发的各个层面上被广泛使用一样。